-
1 then a little calculation using Lemma 3 yields that
Математика: затем небольшое вычисление, использующее Лемму 3, приводит к тому, что (...) (...)Универсальный англо-русский словарь > then a little calculation using Lemma 3 yields that
См. также в других словарях:
Coq — (фр. coq петух) интерактивное программное средство доказательства теорем, использующее собственный язык функционального программирования (Gallina) с зависимыми типами. Позволяет записывать математические теоремы и их… … Википедия
Теорема о 9 точках на кубике — Иллюстрация к теореме о 9 точках Теорема о 9 точках на кубике теорема аналитической геометрии, которая гласит, что[1] … Википедия
